gentzen system (logic) - Turc Anglais Dictionnaire